Grail: a functional form for imperative mobile code
نویسندگان
چکیده
In Robert Louis Stevenson’s novel [31], Dr Jekyll is a well-regarded member of polite society, while his alter ego Mr Hyde shares the same physical form but roams abroad communing with the lowest elements. In this paper we present Grail, a well-behaved first-order functional language that is the target for an ML-like compiler; while also being a wholly imperative language of assignments that travels and executes as Java classfiles. We use this dual identity in the Mobile Resource Guarantees project, where Grail serves as proof-carrying code to provide assurances of time and space performance, thereby supporting secure and reliable global computing.
منابع مشابه
Sort Abstraction for Static Analyses of Mobile Processes
The non-interference type based analysis and its closely related analyses (dead code elimination, program slicing, confidentiality, strictness, etc.) have been throughly studied in many programming paradigms. The work on this area has been initiated with functional programming, see e.g. [HR98, Pro00, ABHR99], as well as imperative programming, e.g. [SV98]. Following this idea, similar approache...
متن کاملPlan in Maude: Specifying an Active Network Programming Language
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative functional programming in an elegant way that allows for recursive, remote function calls, and it provides a clear mechanism for the interaction between host and mobile code. Techniques for specifying and reasoning about su...
متن کاملVIZ-GRAIL: visualizing functional connections across disease loci
MOTIVATION As disease loci are rapidly discovered, an emerging challenge is to identify common pathways and biological functionality across loci. Such pathways might point to potential disease mechanisms. One strategy is to look for functionally related or interacting genes across genetic loci. Previously, we defined a statistical strategy, Gene Relationships Across Implicated Loci (GRAIL), to ...
متن کاملCamelot and Grail: resource-aware functional programming for the JVM
We describe the functional language Camelot, which is a language of the ML family with extensions for explicit management of heap storage, and the intermediate language Grail, which is a functional form of JVM bytecode. A scheme for transforming Camelot into Grail is described. We also give some figures for execution times which show that Camelot programs perform reasonably well when compared w...
متن کاملEnabling Safer Deployment of Internet Mobile Code Technologies
H IGHLY FUNCTIONAL APPLICATIONS — isn’t this the Holy Grail that information systems managers have been searching for since the 1960s? Historically we move back more than a decade to the client-server platform whose technologies included thirdand fourth-generation development tools and, later, Visual Basic and C++, and whose infrastructure included relational database servers in a distributed U...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 85 شماره
صفحات -
تاریخ انتشار 2003